Перевод: с английского на все языки

со всех языков на английский

safety logic

См. также в других словарях:

  • Safety engineering — is an applied science strongly related to systems engineering and the subset System Safety Engineering. Safety engineering assures that a life critical system behaves as needed even when pieces fail.In the real world the term safety engineering… …   Wikipedia

  • Safety instrumented system — A Safety Instrumented System (SIS) is a form of process control usually implemented in industrial processes, such as those of a factory or an oil refinery. The SIS performs specified functions to achieve or maintain a safe state of the process… …   Wikipedia

  • Computation tree logic — Computation tree logic (CTL) is a branching time logic, meaning that its model of time is a tree like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is… …   Wikipedia

  • Linear temporal logic — (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths such as that a condition will eventually be true, that a condition will be true until another fact becomes true,… …   Wikipedia

  • applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

  • Wired logic connection — A wired logic connection is a logic gate that implements boolean algebra (logic) using only diodes and resistors. It differs from a digital logic integrated circuit which utilizes transistor transistor logic (TTL). A wired logic connection can… …   Wikipedia

  • Programmable logic controller — A programmable logic controller (PLC) or programmable controller is a digital computer used for automation of industrial processes, such as control of machinery on factory assembly lines. PLCs are used in many different industries and machines… …   Wikipedia

  • Inherent safety — is a concept particularly used in the chemical and process industries. An inherently safe process has a low level of danger even if things go wrong. It is used in contrast to safe systems where a high degree of hazard is controlled by protective… …   Wikipedia

  • Organizational safety — is a contemporary discipline of study and research developed from the works of James Reason, creator of the Swiss Cheese Model, and Charles Perrow author of Normal Accidents. These scholars demonstrated the complexity and system coupling inherent …   Wikipedia

  • Linear temporal logic — Lineare temporale Logik (LTL oder Linear temporal logic) ist ein Modell temporaler Logik mit zeitlichen Modalitäten. In LTL, können Formeln über die Zukunft von Pfaden aufgestellt werden, wie dass eine Bedingung irgendwann wahr wird, eine… …   Deutsch Wikipedia

  • airport movement area safety system — A software enhancement to airport surface detection equipment (ASDE) radar that provides logic predicting the path of aircraft landing and/or vehicular movements on runways. Visual and aural alarms are activated when logic predicts a potential… …   Aviation dictionary

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»